$a$ in dom($M$.pre) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}dom(IdDeq; $a$; 1of(2of(2of(2of($M$)))))